首页> 外文OA文献 >Combining Static Analysis and Test Generation for {C} Program Debugging

【2h】

Combining Static Analysis and Test Generation for {C} Program Debugging

机译：结合静态分析和测试生成进行{C}程序调试

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Chebaro, Omar; Kosmatov, Nikolai; Giorgetti, Alain; Julliand, Jacques;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Special issue on testing, analysis and debugging of concurrent programs [J] . Farchi Eitan, Hierons Robert M., Lourenco Joao Software Testing, Verification and Reliability . 2015,第3期

机译：关于并发程序的测试，分析和调试的特刊
2. Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel [J] . Tegawende F. Bissyande, Laurent Reveillere, Julia L. Lawall, Automated software engineering . 2016,第1期

机译：提前进行静态分析，以自动生成Linux内核的调试接口
3. 4D Ariadne the Static Debugger of Java Programs [J] . István Forgács, Zalán Sz?gyi, Zoltán Porkoláb Periodica Polytechnica . 2011,第3a4期

机译：4D Ariadne Java程序的静态调试器
4. Combining Static Analysis and Test Generation for C Program Debugging [C] . Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Tests and proofs . 2010

机译：结合静态分析和测试生成以进行C程序调试
5. Combining static analysis and run -time analysis for verification and testing of multi-threaded programs. [D] . Agarwal, Rahul. 2006

机译：将静态分析和运行时分析相结合，以验证和测试多线程程序。
6. Next-generation sequencing combined with serological tests based pathogen analysis for a neurocysticercosis patient with a 20-year history:a case report [O] . Bin Chen, Zheng Chen, Yi-shu Yang, 2021

机译：下一代测序结合基于血清术病病原体分析的神经细胞病患者具有20年的历史：案例报告
7. Combining Static Analysis and Test Generation for {C} Program Debugging [O] . Chebaro Omar, Kosmatov Nikolai, Giorgetti Alain, 2010

机译：结合静态分析和测试生成进行{C}程序调试
8. Program Debugging and Testing a Linear Programming Analysis of U.S. Production,Employment,and Energy Use. [R] . merrill, d. lofting, e. 2001

机译：程序调试和测试美国生产，就业和能源使用的线性规划分析。

Combining Static Analysis and Test Generation for {C} Program Debugging

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅